#ifndef LECTEURPHRASEAVECARBRE_H_
#define LECTEURPHRASEAVECARBRE_H_

#include "Symbole.h"
#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include "Arbre.h"

#include <string>
using namespace std;



class LecteurPhraseAvecArbre
{
public:
	LecteurPhraseAvecArbre(string nomFich);	 
	void analyse();   
	inline TableSymboles getTs ()    { return ts;    }  
	inline Noeud*        getArbre () { return arbre; } 
	

private:
    LecteurSymbole ls;
    TableSymboles  ts;
    Noeud*         arbre;
    int            nbErreurSyntaxe;

    // implémentation de la grammaire

    Noeud*  programme(); //   <programme> ::= debut <seqInst> fin <EOF>
    Noeud*  seqInst();//     <seq_ins> ::= <inst> ; { <inst> ; }
    Noeud*  inst();//       <inst> ::= <affectation> | <instSi> | <instTq> | <instRepeter>
    Noeud*  affectation();// <affectation> ::= <variable> = <expression>
    Noeud*  expression();//  <expression> ::= <terme> { <opAdd> <terme> }
    Noeud* facteur();   //   <facteur> ::= <entier> | <variable> | <opUnaire> <expBool> | ( <expBool> ) | <CHAINE>
    Noeud* terme();    // <terme> ::= <facteur> { <opMult> facteur> }
    Symbole opAdd();  //  <opAdd>  ::= + | - 
    Symbole oppMult();  //  <opMult>  ::= *  | /
    Symbole opOu(); //<opOu> ::= ou
    Symbole opEt(); //<opEt> ::= et
    Noeud* expBool();  // <expBool> ::= <expBoolEt> { <opOu> <expBoolEt> }
    Noeud* expBoolEt(); // <expBoolEt> ::= <relation> { <opEt> <relation> }
    Noeud* relation(); //<relation> ::= <expression> { <opRel> <expression> }
    Symbole opRel();  // <opRel> ::= == | != | < | <= | > | >=
    Symbole opUnaire();  //<opUnaire> ::= - | non
    Noeud* instSi();   //  <instructSi>  ::= si <expression> alors <seqInst> { sinonsi <expression> alors <seqInst>} [sinon <expression> alors <seqInst>]
    Noeud* instTq();    //<instTq> ::= tantque ( <expBool> ) <seqInst> fintantque
    Noeud* instRepeter();  // <instRepeter> ::= repeter <seqInst> jusqua ( <expBool> )
    Noeud* instLire();   // <instLire> ::= lire ( <variable> )
    Noeud* instEcrire();   // <instEcrire> ::= ecrire ( <expression> | <chaine> )  
    Noeud* instPour();   //<instPour> ::= Pour ( <affectation>;<expBool>;<affectation> ) <seqInst> finpour


    // outils pour se simplifier l'analyse syntaxique
    void testerSymCour (string ch);  // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    void sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur (string mess);      // affiche les message d'erreur mess et arrete le programme
};

#endif
